Biblioteca da Universidade do Minho catalog › Results of search for 'International Symposium...' with limit(s): 'title-series:Lecture notes in computer science'

Your search returned 21 results.

		Distributed computing / 12th Internationa Symposium... ; ed. Shay Kutten Monografia Publication Berlin : Springer-Verlag, cop. 1998 Description XI, 418, [6] p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Logical foundations of computer science - Tver'92 : proceedings / Second International Symposium... ; ed. Anil Nerode, Mikhail Taitslin Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description IX, 514 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Algorithms in modern mathematics and computer science : proceedings / International Symposium... ; ed. A. P. Ershov, D. E. Knuth Monografia Publication Berlin : Springer-Verlag, 1981 Description XI, 487 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Theoretical aspects of computer software : proceedings / Third International Symposium... ; ed. Martín Abadi, Takayasu Ito Monografia Publication Berlin : Springer-Verlag, cp. 1997 Description XI, 638 p. : il. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal aspects of component software / 9th International Symposium... ; ed. Corina S. Pasareanu, Gwen Salaün Monografia Publication Berlin : Springer, 2012 Description X, 277 p. : il. ; 23 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Static analysis : proceedings / 5th International Symposium... ; ed. Giorgio Levi Monografia Publication Berlin : Springer, cop. 1998 Description IX, 380 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Practical aspects of declarative languages : proceedings / 4th International Symposium... ; ed. Shriram Krishnamurthi, C. R. Ramakrishnan Monografia Publication Berlin : Springer, cop. 2002 Description VIII, 349 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Mathematical foundations of computer science 1992 : proceedings / 17th International Symposium... ; ed. I. M. Havel, V. Koubek Monografia Publication Berlin : Springer-Verlag, cop. 1992 Description IX, 521 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Formal techniques in real-time and fault-tolerant systems : proceedings / 5th International Symposium... ; ed. Anders P. Ravn, Hans Rischel Monografia Publication Berlin : Springer, cop. 1998 Description VIII, 338 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Recent advances in intrusion detection : proceedings / 5th International Symposium... ; ed. Andreas Wespi, Giovanni Vigna, Luca Deri Monografia Publication Berlin : Springer, cop. 2002 Description X, 326 p. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		International Symposium on Programming : proceedings / 5th Symposium... ; ed. M. Dezani-Ciancaglini, U. Montanari Monografia Publication Berlin : , Springer-Verlag Description VI, 406 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Algorithms : proceedings / International Symposium SIGAL '90... ; ed. T. Asano... [et al.] Monografia Publication Berlin : Springer-Verlag, cop. 1990 Description VIII, 478 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		International Symposium on Programming : proceedings / 6th International... ; ed. M. Paul, B. Robinet Monografia Publication Berlin : Springer-Verlag, 1984 Description VI, 262 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Database and XML technologies / First International XML Database Symposium ; ed. Zohra Bellahsène... [et al.] Monografia Publication Berlin : Springer, cop. 2003 Description X, 281 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming language implementation and logic programming / Proceedings of 3rd International Symposium PLILP'91 ; ed. J. Maluszynski, M. Wirsing Monografia Publication Berlin : Springer-Verlag, 1991 Description XI, 433 p. : il. ; 25 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		EUROSAM 84 / International Symposium on Symbolic and Algebraic Computation ; ed. John Fitch Monografia Publication Berlin : Springer-Verlag, 1984 Description XI, 396 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in spatial databases : proceedings / International Symposium, SSD'99 ; ed. Ralf Hartmut Güting, Dimitris Papadias, Fred Lochovsky Monografia Publication Berlin : Springer, 1999 Description XI, 369 p. : il. ; 24 cm LocationBiblioteca da UMinho no Campus de Azurém Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Programming languages ; including aSpecial track on declarative programming langauges in education : implementations, logics, and programs : proceedings / 9th International Symposium ; ed. Hugh Glasser, Pieter Hartel, Herbert Kuchen Monografia Publication Berlin : Springer, cop. 1997 Description XI, 424 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		Advances in intelligent data analysis / Third International Symposium IDA-99 ; ed. David J. Hant, Joost N. Kok, Michael R. Berthold Monografia Publication Berlin : Springer, 1999 Description XII, 538 p. : il. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)
		International Symposium on Programming : proceedings / ed. B. Robinet Monografia Publication Berlin : Springer-Verlag, 1980 Description VII, 341 p. ; 25 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1). 1 2 3 4 5 Place hold Add to cart (remove)